<html>
<body>
将字符串字面量转换为 $/ 字符串。
</body>
</html>